721. Proceedings of the 34th Annual ACM Symposium on Theory of Computing, Montreal, Quebec, Canada, May 19-21, 2002
پدیدآورنده : Sponsored by SIGACT )The special Interest Group for Algorithms and Computational Theory(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computational complexity
رده :
QA
267
.
7
.
A25
2002
722. Proceedings of the thirty-third annual ACM Symposium on the Theory of Computing: Hersonissos, Crete, Greece, July 6-8, 2001
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Congresses ، Machine theory,Congresses ، Computational complexity
رده :
QA
267
.
A27
2001
723. Proceedings, structure in complexity theory: fourth annual conference, June 19-22, 1989, University of Oregon, Eugene, Oregon
پدیدآورنده : Sponsored by Computer Society Technical Committee on Mathematical Foundations of Computing
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Computational complexity -- Congresses
رده :
QA
267
.
P757
1989
724. Proceedings : 15th Annual IEEE conference on computational complexity : July 4-7, 2000 Florence, Italy
پدیدآورنده : IEEE Conference on Computational Complexity) 51th: 0002: Florence, Italy(
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع : ، Computational complexity - Congresses,، Nonlinear boundary value problems - Congresses
رده :
QA
267
.
7
.
S76
2000
725. Proceedings 15th Annual IEEE conferene computational complexity, July 4-7, 2000, Florence, Italy
پدیدآورنده : sponsored by IEEE Computer Society Technical Commitee for Mathematical Foundations of Computing; in cooperation with ACM SIGACT EATCS
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Computational complexity,Congresses ، Nonlinear boundary value problems,Congresses ، Polynomials
رده :
QA
267
.
7
.
S77
2000
726. Proof complexity
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Proof theory. ; Computational complexity. ;
727. Provability, complexity, grammars
پدیدآورنده : Lev Beklemishev, Mati Pentus, Nikolai Vereshchagin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computational complexity.,Mathematical linguistics.,Modality (Logic),Proof theory.
728. Public Key Cryptography ђ́أ PKC 2012
پدیدآورنده : edited by Marc Fischlin, Johannes Buchmann, Mark Manulis
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computational complexity,Computer Communication Networks,Computer science,Computer software,Data encryption (Computer science),Data protection,Information Systems,Algorithm Analysis and Problem Complexity,Computer Communication Networks,Computer Science,Data Encryption,Discrete Mathematics in Computer Science,Management of Computing and Information Systems,Systems and Data Security
729. Quantum Computing verstehen :
پدیدآورنده : von Matthias Homeister.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computational complexity.,Computer science.,Quantencomputer
730. Randomized algorithms
پدیدآورنده : / Russ Bubley
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Markov processes,Monte Carlo method,Computational complexity
رده :
QA274
.
2
.
B82
2001
731. Randomized algorithms :
پدیدآورنده : Russ Bubley
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computational complexity,Markov processes,Monte Carlo method
رده :
QA274
.
2
.
B82
2001
732. Randomized algorithms
پدیدآورنده : / Russ Bubley
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Markov processes,Monte Carlo method,Computational complexity
رده :
QA274
.
2
.
B82
2001
733. Randomized algorithms
پدیدآورنده : / Russ Bubley
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Markov processes,Monte Carlo method,Computational complexity
رده :
QA274
.
2
.
B82
2001
734. Randomness and completeness in computational complexity
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computational complexity. ;
735. Randomness and completeness in computational complexity
پدیدآورنده : Melkebeek, Dieter Van
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer science -- Mathematics,، Computational complexity
رده :
QA
76
.
L28
Vol
.
1950
736. Randomness and completeness in computational complexity
پدیدآورنده : / Dieter van Melkebeek
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Computer science--Mathematics,Computational complexity.
رده :
QA
,
76
.
9
,.
M35
,
M54
,
2000
737. Recent Advances in Nonlinear Dynamics and Synchronization
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Engineering ,Computational intelligence ,Complexity, Computational ,مهندسی,هوش محاسباتی,پیچیدگی محاسباتی
رده :
E-Book
,
738. Recent advances in real complexity and computation : UIMP-RSME Lluis A. Santalo Summer School, recent advances in real complexity and computation, July 16-20, 2012, Spain
پدیدآورنده : Jose Luis M. Pardo, editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computational complexity
رده :
QA
267
.
7
.
U45
2012
739. Reliable and autonomous computational scienc
پدیدآورنده : / Sung Y. Shin, Rex Gantenbein, Tei-Wei Kuo, Jiman Hong (eds.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Computational complexity, Congresses,Computational intelligence, Congresses,Intelligent agents (Computer software), Congresses
رده :
E-BOOK
740. Reliable and autonomous computational science
پدیدآورنده : Sung Y. Shin, Rex Gantenbein, Tei-Wei Kuo, Jiman Hong (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computational complexity, Congresses.,Computational intelligence, Congresses.,Intelligent agents (Computer software), Congresses.
